../gp712/logging.c